A method to identify and analyze biological programs through automated reasoning
نویسندگان
چکیده
منابع مشابه
A computational method to analyze the similarity of biological sequences under uncertainty
In this paper, we propose a new method to analyze the difference and similarity of biological sequences, based on the fuzzy sets theory. Considering the sequence order and some chemical and structural properties, we present a computational method to cluster the biological sequences. By some examples, we show that the new method is relatively easy and we are able to compare the sequences of arbi...
متن کاملAutomated reasoning for reflective programs
class Visitor {visit(Object obj) {try {Class obj_class = obj.getClass();String obj_className = obj_class.getName();String methodName = "visit" + obj_className;Class this_class = this.getClass();Method method = this_class.getMethod(methodName, obj_class);method.invoke(this, obj);}catch (NoSuchMethodException e) { }catch (IllegalAccessException e) { }<l...
متن کاملA Systematic Method to Analyze Transport Networks: Considering Traffic Shifts
Current network modeling practices usually assess the network performance at specified time interval, i.e. every 5 or 10 years time horizon. Furthermore, they are usually based on partially predictable data, which are being generated through various stochastic procedures. In this research, a new quantitative based methodology which combines combinatorial optimization modeling and transportation...
متن کاملFuture Enhancements for Automated Reasoning Programs
Would you enjoy evaluating some (probably) new ideas for enhancing the power and scope of an automated reasoning program, a program that features first-order logic? Do programming challenges appeal to you? Is the avoidance of a huge amount of iteration of interest? Would you like some notions that you can apply to hone your reasoning skills, unaided by a computer? Are you looking for a research...
متن کاملProgeny Clustering: A Method to Identify Biological Phenotypes
Estimating the optimal number of clusters is a major challenge in applying cluster analysis to any type of dataset, especially to biomedical datasets, which are high-dimensional and complex. Here, we introduce an improved method, Progeny Clustering, which is stability-based and exceptionally efficient in computing, to find the ideal number of clusters. The algorithm employs a novel Progeny Samp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: npj Systems Biology and Applications
سال: 2016
ISSN: 2056-7189
DOI: 10.1038/npjsba.2016.10